1. A logical journey
پدیدآورنده : / Hao Wang
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Godel, Kurt,Logicians United States- Biography,Logicians Austria- Biography
رده :
QA29
.
G58
,
W357
1996
2. A logical journey
پدیدآورنده : / Hao Wang
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Godel, Kurt,Logicians United States- Biography,Logicians Austria- Biography
رده :
QA29
.
G58
,
W357
1996
3. A logical journey
پدیدآورنده : / Hao Wang
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Godel, Kurt,Logicians United States- Biography,Logicians Austria- Biography
رده :
QA29
.
G58
,
W357
1996
4. Advances in Water Resources Management
پدیدآورنده : / Hao S. Wang-Lawrence K. Wang, Chih Ted Yang, Mu
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : CONTROL SYSTEMS|WATER RESOURCES&AUTOMATION
رده :
E-BOOK
5. Advances in water resources management
پدیدآورنده : Lawrence K. Wang, Chih Ted Yang, Mu-Hao S. Wang, editor
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Water-supply engineering,Environmental engineering,Biotechnology,Water, Pollution
رده :
EBOOK
,
TD
.
H37
,
v
.
1
170
6. Cases on E-Learning Management
پدیدآورنده : / [edited by] Harrison Hao Yang, Shuyan Wang
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Management -- Computer - assisted instruction,Internet in education,Education -- Effect of technological innovations on,Education, Higher -- Effect of technological innovations on,مدیریت -- آموزش به کمک کامپیوتر,اینترنت و آموزش و پرورش,آموزش و پرورش -- اثر نوآوری,آموزش عالی -- اثر نوآوری
رده :
LB1028
,.
3
.
C324
2013
7. Computation, logic, philosophy : a collection of essays
پدیدآورنده : Wang, Hao
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer science-- Mathematics,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
.
W35
1990
8. Design Exploration of Emerging Nano-scale Non-volatile Memory
پدیدآورنده : \ Hao Yu, Yuhao Wang
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Nanostructured materials,موادنانوساختار,a04,a04,Nonvolatile random-access memory.
رده :
E-Book
,
9. Dimensional Model Analysis and Processing-Three
پدیدآورنده : / Faxin Yu, Hao Luo, Zheming Lu, Pinghui Wang
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
10. From Mathematics to Philosophy
پدیدآورنده : \ Hao Wang
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Knowledge, Theory of,Logic, symbolic and mathematical,شناخت (فلسفه),منطق ریاضی,a03,a04,a03,a04
رده :
E-Book
,
11. From Mathematics to Philosophy
پدیدآورنده : Wang, Hao
موضوع :
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
12. From mathematics to philosophy
پدیدآورنده : Wang, Hao
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Knowledge, Theory of,، Logic, Symbolic and mathematical,، Mathematics -- Philosophy
رده :
BD
161
.
W27
1974
13. From mathematics to philosophy
پدیدآورنده : Wang, Hao
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Knowledge, Theory of,، Logic, Symbolic and mathematical,Philosophy ، Mathematics
رده :
BD
161
.
W27
1974b
14. From mathematics to philosophy
پدیدآورنده : Wang, Hao
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Knowledge, Theory of,، Logic, Symbolic and mathematical,، Mathematics-- Philosophy
رده :
BD
161
.
W27
1974b
15. Futures in mechanics of structures and materials
پدیدآورنده : /edited by Thiru Aravinthan, Warna (Karu) Karunasena, Hao Wang .
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : مکانیک عملی,سازه، تجزیه و تحلیل,مصالح ساختمانی, -- کنگرهها, -- کنگرهها, -- کنگرهها, -- عمر مفید
رده :
TA
۳۴۹
/
ک
۹
ف
۹ ۱۳۸۷
16. Les systemes axiomatiques de la theorie des ensembles
پدیدآورنده : Wang, Hao
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
W3
17. Les systemes axiomatiques de la theorie des ensembles
پدیدآورنده : Par Hao Wang et Naughton Robert
کتابخانه: Library of Faculty Literature of University of Tehran (Tehran)
موضوع : Set theory,Logic, Symbolic and mathematical
18. 13, 2012. Proceedings-Web Technologies and Applications: APWeb 2012 International Workshops: SenDe, IDP, IEKB, MBC, Kunming, China, April 11
پدیدآورنده : / Paulo de Souza (auth.), Hua Wang, Lei Zou, Guangyan Huang, Jing He, Chaoyi Pang, Hao Lan Zhang, Dongyan Zhao, Zhuang Yi (eds.)
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : MINERAL PROCESSING& ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY|MINING &COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
19. Reflections on Kurt Godel
پدیدآورنده : Wang, Hao 1291-
کتابخانه: Library of Mofid University (Qom)
موضوع :
رده :
QA
1
.
W3
R4
1987
20. Web Technologies and Applications
پدیدآورنده : / Hua Wang, Lei Zou, Guangyan Huang, Jing He, Chaoyi Pang, Hao Lan Zhang, Dongyan Zhao, Zhuang Yi
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : MINERAL PROCESSING|ROBOTICS&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|MINING
رده :
E-BOOK